Wyniki
-
Regular Cuts in Models of Bounded Arithmetic
Morteza Moniri, S. Hosein Sajjadi
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 11-20
Morteza Moniri,
S. Hosein Sajjadi
Bulletin of the Section of Logic
, 42
/1-2
(2013)
s. 11-20